const readline = require("readline");
const rl = readline.createInterface({
    input: process.stdin,
    output: process.stdout
});
rl.on("line", (line)=>{
    let initArr = line.trim().split(/\s*,\s*/).map(Number);
    console.log(getResult(initArr))
    rl.close()
})

function getResult(initArr) {
    // 长度4个
    if(initArr.length !== 4) return -1
    // 数字合法 1-9
    let some = initArr.some((val,index) => val < 1 || val > 9)
    if(some) return -1
    // 数字不重复
    let mapArr = initArr.map((val, index) => initArr.indexOf(val) === index)
    if(mapArr.length !== initArr.length) return -1
    // 2,5 or 6,9 不同时出现
    if(initArr.indexOf(2) !== -1 &&initArr.indexOf(5) !== -1) return -1
    if(initArr.indexOf(6) !== -1 &&initArr.indexOf(9) !== -1) return -1

    let map = new Map()
    map.set(2, 5)
    map.set(5, 2)
    map.set(6, 9)
    map.set(9, 6)
    let n = initArr.reduce((acc, value) => Math.max(acc, value), 0)

    // 组合数字
    if(initArr.indexOf(2) !== -1) {
        initArr.push(5)
    } else if (initArr.indexOf(5) !== -1){
        initArr.push(2)
    }
    if(initArr.indexOf(6) !== -1) {
        initArr.push(9)
    } else if (initArr.indexOf(9) !== -1){
        initArr.push(6)
    }
    let result = []
    let visited = new Array(initArr.length).fill(false)
    backTrack(visited, [], initArr, result, map)
    result = result.map(Number).sort((a, b) => a - b)
    if(n - 1 < result.length) {
        return result[n - 1]
    } else {
        return result.at(-1)
    }
}

function backTrack(visited, path, initArr, result, map) {
    if(path.length) result.push(path.join(""))
    if(path.length === initArr.length) return

    for (let i = 0; i < initArr.length; i++) {
        if(!visited[i] && (!map.get(initArr[i]) || path.indexOf(map.get(initArr[i])) === -1)) {
            visited[i] = true
            path.push(initArr[i])
            backTrack(visited, path, initArr, result, map)
            visited[i] = false
            path.pop()
        }
    }
}